| contributor | ISTE, Programmiersprachen und Übersetzerbau | ||||||||||||||
email: | creator |
Reuß, Andreas
| date |
2007
| description |
87 pages
|
Diese Arbeit befasst sich mit Kontrollabhängigkeiten in Programmen.
Es werden sowohl verschiedene Definitionen für
Kontrollabhängigkeit untersucht und Zusammenhänge zwischen diesen
aufgezeigt als auch jeweils Algorithmen vorgestellt, mit denen die
verschiedenen Arten von Kontrollabhängigkeit berechnet werden
können. Zudem erfolgt eine Untersuchung der im Rahmen der
Studienarbeit erfolgten Implementierungen der vorgestellten
Algorithmen im Bauhaus-Forschungsprojekt der Universität Stuttgart.
| format |
application/pdf
| 2246349 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=STUD-2122&engl=1 |
| language | ger |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Student Thesis No. 2122 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/STUD-2122/STUD-2122.pdf |
| subject | Programming Languages Processors (CR D.3.4) |
| Software Engineering Software/Program Verification (CR D.2.4) | |
| Kontrollabhängigkeit | |
| Algorithmen | |
| title | Algorithmen zur Berechnung von Kontrollabhängigkeiten |
| type | Text |
| Student Thesis |